Inductive Synthesis of Recursive Programs – A Comparison of Three Systems

The paper we present compares the three systems for program synthesis, namely Adate, an approach through evolutionary computation, the inductive/abductive logic program synthesizer Dialogs-II and the classification learner Atre, capable of simultaneously learning mutually dependent, recursive target predicates. It gives an overview over the functionality of all three systems, and evaluates their capabilities under equal premises. As a consequence, we propose to combine Adate’s expressional power with Dialog-II’s search heuristic.